($(DOC)): Use -o and -a options to make-docfile,
authorAndrew Innes <andrewi@gnu.org>
Wed, 18 Dec 2002 23:52:39 +0000 (23:52 +0000)
committerAndrew Innes <andrewi@gnu.org>
Wed, 18 Dec 2002 23:52:39 +0000 (23:52 +0000)
commiteb3bb9f754def9fce0a01a03e193e084e2c78c5c
treeaf3df1a1279dea745387088f25b0dfd56daeeb82
parent0a7fc5d90ff203f59d96b07ab2250042d629f5bf
($(DOC)): Use -o and -a options to make-docfile,
because GNU make doesn't append when using >> redirection.
lib-src/makefile.w32-in